Merge branch 'patch-1' into 'master'
authorTimm Bäder <mail@baedert.org>
Fri, 27 Jul 2018 04:47:04 +0000 (04:47 +0000)
committerTimm Bäder <mail@baedert.org>
Fri, 27 Jul 2018 04:47:04 +0000 (04:47 +0000)
doc: Fix there/their typo

See merge request GNOME/gtk!274


Trivial merge